Định nghĩa hình thức Dạng chuẩn 3

Gọi:

  • R {\displaystyle {R}} là lược đồ quan hệ,
  • F {\displaystyle F} là tập hơp các phụ thuộc hàm trên lược đồ quan hệ R {\displaystyle R} ,
  • X {\displaystyle X} là tập con của các thuộc tính của R {\displaystyle R} , và
  • A {\displaystyle A} là một thuộc tính của R {\displaystyle R}

R {\displaystyle R} là ở dạng chuẩn 3 nếu với mọi phụ thuộc hàm ở dạng X → A {\displaystyle X\to A} thì một trong các mệnh đề sau là đúng:

  • A ∈ X {\displaystyle A\in X} ; có nghĩa là, A {\displaystyle A} là một phụ thuộc hàm tầm thường, hoặc
  • X {\displaystyle X} là một siêu khóa, hoặc
  • A {\displaystyle A} là bộ phận của một vài khóa nào đó của R {\displaystyle R}

Mọi quan hệ với phụ thuộc từng phần hoặc dựa vào bắc cầu đều vi phạm quy tắc dạng chuẩn 3.

Liên quan

Tài liệu tham khảo

WikiPedia: Dạng chuẩn 3 http://www.cs.jcu.edu.au/Subjects/cp1500/1998/Lect... http://databases.about.com/od/specificproducts/a/n... http://www.aw-bc.com/catalog/academic/product/0,11... http://www.dbdebunk.com http://www.marcrettig.com/poster/ http://support.microsoft.com/kb/283878 http://dev.mysql.com/tech-resources/articles/intro... http://phlonx.com/resources/nf3/ http://www.troubleshooters.com/littstip/ltnorm.htm... http://www.utexas.edu/its/windows/database/datamod...